Programming Language Design and Implementation - PDFSEARCH.IO - Document Search Engine

Programming Language Design and Implementation
Results: 124

#	Item
31	Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, Madan Musuvathi University of Pennsylvania Microsoft Research Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-09-25 13:24:11 Schedule Information Computer science Computing Association for Computing Machinery Programming Language Design and Implementation Needlepoint
32	Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems∗ Sumit Gulwani Microsoft Research, Redmond Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-04-25 18:08:10 Software Domain-specific language Spreadsheet End-user development Program synthesis Algorithm Programming by example Programming Language Design and Implementation Synthesizer Software engineering Computing Programming paradigms
33	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
34	Vita Dr. Barbara Gershon Ryder J. Byron Maupin Professor of Engineering Head – Dept. of Computer Science, Virginia Tech 2202 Kraft Dr, Room 1107, Blacksburg, VA 24060, USAph), fax) Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2015-05-11 22:39:01 SIGPLAN Federated Computing Research Conference Computing Year of birth missing Carlo Ghezzi Computer science Association for Computing Machinery Programming Language Design and Implementation
35	References • • • • • Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2007-12-23 13:14:52 Association for Computing Machinery Object-oriented programming Programming Language Design and Implementation OOPSLA European Conference on Object-Oriented Programming Call graph Profiling Department of Computer Science Java Computing Computer programming Software engineering
36	Linda Torczon Department of Computer Science Rice University 6100 Main Street, MS 132 Houston, Texas, USA 77005 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-08-29 17:25:38 Procedural programming languages Compiler optimizations Rematerialization Programming Language Design and Implementation Compiler SIGPLAN Continuation Orc XPL Computing Software engineering Computer programming
37	Ken Kennedy John and Ann Doerr University Professor Department of Computer Science Rice University November 20, 2006 Born: Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-11-20 19:15:16 Association for Computing Machinery Year of birth missing Symposium on Principles and Practice of Parallel Programming Ken Kennedy Compiler Principles of Programming Languages SIGPLAN Jack Dongarra Programming Language Design and Implementation Academia Computer science Computing
38	Advanced Program Analyses for Object-oriented Systems Dr. Barbara G. Ryder Rutgers University http://www.cs.rutgers.edu/~ryder http://prolangs.rutgers.edu/ Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2007-12-23 13:14:29 Subroutines Inline expansion Object-oriented programming Software optimization Compiler construction Call graph Call site Factor Programming Language Design and Implementation Software engineering Computer programming Computing
39	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation
40	Lindsey Kuper Programming Systems Lab, Intel Labs Intel Corporation 3600 Juliette Lane Santa Clara, CA 95054 Add to Reading List Source URL: composition.al Language: English Association for Computing Machinery Functional programming International Conference on Functional Programming Principles of Programming Languages SIGPLAN Continuation Parallel computing Programming Language Design and Implementation GrammaTech Computing Software engineering Computer programming